#pragma once

// 死循环函数
__attribute__((noreturn)) void wfi_loop(void);
